home | section main page | rss feed


Proper Mapping

Table of Contents

1. Introduction

Here is the definition:

If ff is a mapping on a topological space XX, then ff is proper if for all compact sets K⊂XK \subset X, f−1(K)f^{-1}(K) is compact.

We care about this definition because for some reason it is useful sometimes.